• Air Traffic Flow Management with Layered Workload Constraints 

      Mannino, Carlo; Nakkerud, Andreas; Sartor, Giorgio (Peer reviewed; Journal article, 2020)
      Many regions of the world are currently struggling with congested airspace, and Europe is no exception. Motivated by our collaboration with relevant European authorities and companies in the Single European Sky ATM Research ...
    • Constraint Preserving Mixers for the Quantum Approximate Optimization Algorithm 

      Fuchs, Franz Georg; Lye, Kjetil Olsen; Nilsen, Halvor Møll; Stasik, Alexander Johannes; Sartor, Giorgio (Peer reviewed; Journal article, 2022)
      The quantum approximate optimization algorithm/quantum alternating operator ansatz (QAOA) is a heuristic to find approximate solutions of combinatorial optimization problems. Most of the literature is limited to quadratic ...
    • Efficient Encoding of the Weighted MAX k-CUT on a Quantum Computer Using QAOA 

      Fuchs, Franz Georg; Kolden, Herman Øie; Aase, Niels Henrik; Sartor, Giorgio (Peer reviewed; Journal article, 2021)
      The weighted MAX k-CUT problem consists of finding a k-partition of a given weighted undirected graph G(V, E), such that the sum of the weights of the crossing edges is maximized. The problem is of particular interest as ...
    • Hotspot Resolution with Sliding Window Capacity Constraints using the Path&Cycle Algorithm 

      Mannino, Carlo; Nakkerud, Andreas; Sartor, Giorgio; Schittekat, Patrick (Journal article; Peer reviewed, 2018)
      We extend the new, efficient Path&Cycle formulation for the Hotspot Problem with two methods for dealing with windowed capacity constraints. We also discuss how to combine constraints to allow two-level capacity restricions ...
    • A MILP model for quasi-periodic strategic train timetabling 

      Sartor, Giorgio; Mannino, Carlo; Nygreen, Thomas; Bach, Lukas (Peer reviewed; Journal article, 2022)
      In railways, the long-term strategic planning is the process of evaluating improvements to the railway network (e.g., upgrading a single track line to a double track line) and changes to the composition/frequency of train ...
    • The Path&Cycle formulation for the Hotspot Problem in Air Traffic Management 

      Sartor, Giorgio; Mannino, Carlo (Chapter, 2018)
      The Hotspot Problem in Air Traffic Management consists of optimally rescheduling a set of airplanes that are forecast to occupy an overcrowded region of the airspace, should they follow their original schedule. We first ...